Senior Formal Verification Engineer, Google Cloud

Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products.

• Plan the formal verification strategy and create the properties and constraints for digital design blocks.
• Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
• Resolve difficult to verify properties, and contribute improvements to methodologies to enhance formal verification results.
• Architect and implement reusable formal verification components.

• Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
• 8 years of experience working in main interconnects, Direct Memory Access (DMA), controllers, and power management.
• Experience capturing design specification in a temporal assertion language (e.g., SVA or PSL).
• Preferred qualifications: Master's degree or PhD in Electrical Engineering or Computer Science, or a related technical field.
• Experience with scripting languages (e.g., Python).
• Experience working with one or more formal verification tools, such as JasperGold, VC Formal, Questa Formal, or 360-DV.
• Knowledge of formal verification algorithms.

• 8 years of experience working in main interconnects, Direct Memory Access (DMA), controllers, and power management.
• Experience capturing design specification in a temporal assertion language (e.g., SVA or PSL).
• Preferred qualifications: Master's degree or PhD in Electrical Engineering or Computer Science, or a related technical field.
• Experience with scripting languages (e.g., Python).
• Experience working with one or more formal verification tools, such as JasperGold, VC Formal, Questa Formal, or 360-DV.
• Knowledge of formal verification algorithms.

The ML, Systems, & Cloud AI (MSCA) organization at Google designs, implements, and manages the hardware, software, machine learning, and systems infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud.